<!DOCTYPE html>
<!--[if lt IE 7 ]><html class="ie ie6" lang="en"> <![endif]-->
<!--[if IE 7 ]><html class="ie ie7" lang="en"> <![endif]-->
<!--[if IE 8 ]><html class="ie ie8" lang="en"> <![endif]-->
<!--[if (gte IE 9)|!(IE)]><!-->
<html lang="en">
    <!--<![endif]-->

    <head>

        <!-- Basic Page Needs
        ================================================== -->
        <meta charset="utf-8">
        <title>19th International Symposium on Formal Methods</title>
        <meta name="description" content="">
        <meta name="author" content="">

        <!-- Mobile Specific Metas \ -->
        <meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1">

        <!-- Javascripts BEGIN -->
        <script src="javascripts/modernizr-2.5.3.min.js"></script>
        <script type="text/javascript"  src="javascripts/jquery-1.7.1.min.js"></script>
        <script type="text/javascript"  src="javascripts/plugins.all.js"></script>
        <script type="text/javascript" src="javascripts/jquery.address-1.4.min.js"></script>
        <!-- Javascripts END -->

        <!--  Fonts BEGIN  -->
        <link href='../../fonts.googleapis.com/css@family=Lato_3A300,400,700,300italic,400italic' rel='stylesheet' type='text/css'>

        <link href='../../fonts.googleapis.com/css@family=Open+Sans_3A400italic,400,300,700,600' rel='stylesheet' type='text/css'>
        <!--  Fonts END  -->

        <!--  CSS BEGIN  -->
        <link rel="stylesheet" href="stylesheets/base.css">
        <link rel="stylesheet" href="stylesheets/skeleton.css">
        <link rel="stylesheet" href="stylesheets/layout.css">
        <link rel="stylesheet" href="stylesheets/themes/light-blue.css" title="lightblue">
        <!--  CSS END  -->

        <!--  Components BEGIN  -->
        <!--  Flex Slider  -->
        <script src="javascripts/jquery.flexslider-min.js"></script>

        <!--PrettyPhoto-->
        <link rel="stylesheet" href="stylesheets/prettyPhoto.css" type="text/css" media="screen"/>
        <script type="text/javascript" src="javascripts/jquery.prettyPhoto.js"></script>

        <!--Superfish menu-->

        <link rel="stylesheet" media="screen" href="stylesheets/superfish.css" />
        <script src="javascripts/jquery.hoverIntent.minified.js"></script>
        <script src="javascripts/superfish.js"></script>
        <script src="javascripts/supersubs.js"></script>

        <!--  Components END  -->

        <!--Scripts - More in footer-->

        <script src="javascripts/common.js"></script>
        <script type="text/javascript" src="javascripts/jquery.all.libraries.js"></script>
        <script type="text/javascript" src="javascripts/sliders.js"></script>
        <!--[if lt IE 9]>
        <script src="../../html5shim.googlecode.com/svn/trunk/html5.js"></script>
        <![endif]-->
        <!-- JS
        ================================================== -->
        <script src="javascripts/tabs.js"></script>

        <script src="javascripts/jquery.tweet.js"></script>

        <script src="javascripts/jquery.flickrush.pack.js"></script>
        <!--
        ================================================== -->
    </head>

    <body>
        <div id="top"></div>
        <div class="band header" id="topheader">
            <header class="main container">
                <h1 class="logo"><a href="#top" class="internal">19th International Symposium on Formal Methods</a></h1>
                <div class="social_menu">
                    <ul>

                    </ul>
                </div>
            </header>
        </div>

        <div id="tray">
            <div id="nav" class="band navigation">
                <div>
                    <nav class="primary container">
                        <ul id="navLinks" class="sf-menu">

                        </ul>
                    </nav>
                </div>
            </div>
        </div><!--end band-->

        <div class="band mb100" id="welcome">
            <div class="container">
                <h3 class="sectionhead welcome">Sponsor & Host</h3>
                <div class="sixteen columns">
                    <hr>
                    <h5>Technical Sponsor</h5>
                    <div class="justify"> 
                        <p>
                        <li>The Institute of Electrical Engineers of Japan (IEEJ), Japan</li>
                        <li>International Institute of Applied Informatics (IIAI), Japan</li>
                        <p>
                    </div>
                    <hr>
                    <h5>Host and Co-Host</h5>
                    <div class="justify"> 
                        <p>
                        <li>Ho Chi Minh University of Technology, Vietnam National University at Ho Chi Minh City</li>
                        <li>Nha Trang University</li>
						<li>Nha Trang Association of ICT (KAICT)</li>
						<li>John von Neumann Institute, Vietnam National University Ho Chi Minh City (JVN)</li>
                        <li>International Institute of Applied Informatics, Japan (IIAI)</li>
                        <li>Japan Advanced Institute of Science and Technology (JAIST, Japan)</li>
                        <p>
                    </div>
                </div>
            </div>
        </div>

        <!--end band-->
        <div class="band bottom">

            <footer class="bottom container">

                <div class="eight columns first-credit">
                    <p>
                        Copyright &copy; 2014 | <a href="#">Ho Chi Minh City University of Technology</a> | All Rights Reserved.
                    </p>
                </div>

                <div class="eight columns last-credit">
                    <p></p>
                </div>

            </footer><!-- container -->

        </div><!--end band-->

        <div id="tooltip"></div>
        <div id="colourTooltip"></div>

    </body>
</html>